$\forall$$A$,$B$:Type. strong{-}subtype($A$; $B$) $\Rightarrow$ subtype\_rel(EqDecider($B$); EqDecider($A$))